\Slide{Dataflow analysis in FindBugs}{
  \B
  \item Any class may be used to represent dataflow values
    \B
    \item Dataflow values must be mutable
    \E
  \item DataflowAnalysis subclass implements dataflow operations:
    \B
    \item Creating facts
    \item Copying facts
    \item Computing meet of two facts
    \item Block transfer function
    \item Etc.
    \E
  \item Dataflow subclass implements dataflow algorithm,
        provides accessor methods for analysis results
  \E
}
